W. Rautenberg; "Modal tableau calculi and interpolation"